package lagern;

/**
 * Interface definition: Lager.
 * 
 * @author OpenORB Compiler
 */
public interface LagerOperations
{
    /**
     * Operation neu
     */
    public lagern.Fach neu(String user, String name)
        throws lagern.LagerPackage.exAlreadyExists;

    /**
     * Operation hole
     */
    public lagern.Fach hole(String user, String name)
        throws lagern.LagerPackage.exNotFound;

    /**
     * Operation holeLagerListe
     */
    public lagern.Fach[] holeLagerListe();

    /**
     * Operation aktiviereMonitor
     */
    public void aktiviereMonitor(lagern.Monitor theMonitor);

    /**
     * Operation entferneMonitor
     */
    public void entferneMonitor(lagern.Monitor theMonitor);

    /**
     * Operation quit
     */
    public void quit();

}
